Model Based Testing for Real : The Inhouse Card Case
نویسندگان
چکیده
منابع مشابه
Model Based Testing for Real: The Inhouse Card Case Study
We describe the modeling concepts of the CASE tool AutoFocus as well as our Constraint Logic Programming based approach to model-based test case generation along the lines of an inhouse smart card case study. Besides testing the model itself, we used the generated test cases to validate the respective properties in the actual hardware.
متن کاملA Hybrid Grey-Game-MCDM Method for ERP Selecting Based on BSC
An enterprise resource planning (ERP) software is needed for industries and companies that want to develop in future. Many of the manufactures and companies have a problem with ERP software selection. An inappropriate selection process can affect both the implementation and the performance of the company significantly. Although several models are proposed to solve this problem many of them did n...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملAssessment of BAM with ANP Approach; Case Study: Bank Sepah
In today's business environment in which coordination and adaptation with constant changes are the only ways of survival, real-time monitoring of activities and making the decisions accordingly are necessary. Since performance measurement cannot be managed independent of business processes, Business Activity Monitoring (BAM) systems should monitor performance metrics based on business processes...
متن کاملAssessment of BAM with ANP Approach; Case Study: Bank Sepah
In today's business environment in which coordination and adaptation with constant changes are the only ways of survival, real-time monitoring of activities and making the decisions accordingly are necessary. Since performance measurement cannot be managed independent of business processes, Business Activity Monitoring (BAM) systems should monitor performance metrics based on business processes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001